hypothetical connective

См. также в других словарях:

• Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… …   Universalium

• Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …   Wikipedia

• Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

• applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

• human disease — Introduction       an impairment of the normal state of a human being that interrupts or modifies its vital functions. health versus disease       Before human disease can be discussed, the meanings of the terms health, physical fitness, illness …   Universalium

• Boethius: from antiquity to the Middle Ages — John Marenbon Boethius is a difficult figure to place in the history of philosophy. Considered just in himself, he clearly belongs to the world of late antiquity. Born in 480, at a time when Italy was ruled by the Ostrogoths under their king,… …   History of philosophy

• Origin of birds — For the book by Gerhard Heilmann, see The Origin of Birds (book). The famous Berlin specimen of Archaeopteryx lithographica The origin of birds is a contentious and central topic within evolutionary biology. A close relationship between birds and …   Wikipedia

• Donald Davidson (philosopher) — Donald Herbert Davidson Portrait of Donald Davidson by the photographer Steve Pyke in 1990. Full name Donald Herbert Davidson Born 6 March 1917(1917 03 06) Springfield, Massachusetts …   Wikipedia

• Counterfactual conditional — For other uses, see Counterfactual (disambiguation). A counterfactual conditional, subjunctive conditional, or remote conditional, abbreviated cf, is a conditional (or if then ) statement indicating what would be the case if its antecedent were… …   Wikipedia